Nuprl Definition : bool-to-dcdr
11,40
postcript
pdf
{
f
}
== TERMOF{
bool-to-dcdr-aux
:ObjectId, 1:l, i:l}(
A
,
f
)
latex
clarification:
bool-to-dcdr{i:l}(
A
;
f
) == TERMOF{
bool-to-dcdr-aux
:ObjectId, 1:l, i:l}(
A
,
f
)
latex
Definitions
bool-to-dcdr-aux
,
f
(
a
)
FDL editor aliases
bool-to-dcdr
origin
== TERMOF{bool-to-dcdr-aux:ObjectId, 1:l, i:l}(A,f)
== TERMOF{bool-to-dcdr-aux:ObjectId, 1:l, i:l}(A,f)